function compile(){
	$.post("resultado.jsp", {input:document.getElementById("input").value}, function(data){
		var res=document.getElementById("resultado");
		res.innerHTML=data;
		res.style.display="";
		console.log(data);
	});
}
